Software bugs - PDFSEARCH.IO - Document Search Engine

Software bugs
Results: 1223

#	Item
291	Statistical Debugging: Simultaneous Identification of Multiple Bugs Alice X. Zheng Carnegie Mellon University, School of Computer Science, Pittsburgh, PA Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-05-06 03:17:05 Predicate logic Grammar Predicate Semantics Cluster analysis Software bug Function Syntactic predicate Mathematics Logic Statistics
292	Safe Manual Memory Management David Gay Rob Ennals Eric Brewer Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-09-04 14:28:00 Memory management Data types Software bugs Primitive types C++ Garbage collection Dangling pointer Pointer Memory safety Computing Software engineering Computer programming
293	Converting OpenBSD to PIE Pascal Stumpf <> AsiaBSDCon 2015, March 15, Tokyo Pascal Stumpf: Converting OpenBSD to PIE Add to Reading List Source URL: openbsd.aise.re Language: English - Date: 2015-03-15 03:31:17 Embedded operating systems Cross-platform software Procedural programming languages OpenBSD Software bugs Address space layout randomization Buffer overflow protection C dynamic memory allocation Pascal Computing Software Computer programming
294	Appears in Proceedings of the First Symposium on Networked Systems Design and Implementation (NSDISWAP: A Scheduler With Automatic Process Dependency Detection Haoqiang Zheng and Jason Nieh Department of Computer Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2004-02-10 17:18:47 Scheduling algorithms Scheduling Software bugs Real-time computing Resource Priority inheritance Thread Blocking Run queue Computing Concurrency control Concurrent computing
295	ASSURE: Automatic Software Self-healing Using REscue points Stelios Sidiroglou, Oren Laadan, Carlos R. Perez, Nicolas Viennot, Jason Nieh, and Angelos D. Keromytis Columbia University {stelios, orenl, carlosrene, nv2195, Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2009-03-31 18:54:18 Computer errors Software bugs Software testing Fault-tolerant computer systems Fault injection Application checkpointing Crash Server Exception handling Computing Software quality Software
296	Microsoft Wordrevised.doc Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2011-06-08 19:45:42 Computer network security Program analysis Software bugs Computer security Malware Computer virus Software testing Static program analysis Program slicing Computing Software engineering Programming language theory
297	Carschooling Science Science—Magnified! Observation is a key tool of scientists. A magnifying glass, or a jeweler’s loop with a higher magnification power, will help carschoolers see details and things that they did Add to Reading List Source URL: www.carschooling.com Language: English - Date: 2009-10-03 19:20:28 Magnifying glass Software bugs Starship Troopers Bug
298	End-Point Counter-Worm Mechanism Using Automated Software Patching Angelos Keromytis Columbia University Add to Reading List Source URL: www.icir.org Language: English - Date: 2003-10-09 02:05:17 System software Buffer overflow SIGSEGV Sandbox Anomaly detection Segmentation fault Computing Software bugs Computer errors
299	Valgrind vs. KVM Christian Bornträger IBM Deutschland Research & Development GmbH Add to Reading List Source URL: www.linux-kvm.org Language: English - Date: 2014-11-01 15:30:06 Debuggers Profilers Valgrind X86 architecture QEMU Software bugs Ioctl Profiling C Software Computing System software
300	SWAMP-Heartbleed-16May2014-v1.3 Add to Reading List Source URL: continuousassurance.org Language: English - Date: 2014-06-04 15:21:13 Software bugs Cryptographic protocols Internet protocols Software testing C++ Pointer Transport Layer Security Valgrind OpenSSL Computing Computer programming Software engineering

UPDATE